Arbeitsbereich Symbolisches Rechnen
Tätigkeitsbericht 1995/96

Prof. Dr. sc. techn. Wolfgang Küchlin	Universität Tübingen
	Fakultät für Informatik
Tel: (+49) 7071-29.77047	Sand 13
Fax: (+49) 7071-67540	D-72076 Tⁿbingen, Germany
email: Wolfgang.Kuechlin@uni-tuebingen.de
URL: ../

• Personal
• Überblick
  • Forschung
  • Lehre
• Projekte
  • Systemsoftware zum parallelen und verteilten Rechnen
  • Computer Algebra
    • Paralleles Gleichungslösen mit Gröbner Basen
    • Analysis Alive: Veranschaulichung mathematischer Konzepte mit dem Computer
  • Computer Logik (automatische Deduktion und Verifikation)
    • Hochleistungs-Termersetzung
    • Symbolische Verifikation von Schaltungsentwürfen
    • Paralleles und Verteiltes Beweisen
  • Industrielle Steuerungstechnik
    • Die offene parallele Robotersteuerung HighRobot
• Veröffentlichungen
• Vorträge
• Diplom- und Studienarbeiten
  • Diplomarbeiten
  • Studienarbeiten
• ▄ber dieses Dokument ...